* keyboard.c (read_char): New arg END_TIME specifying timeout.
authorChong Yidong <cyd@stupidchicken.com>
Wed, 26 Jul 2006 18:13:33 +0000 (18:13 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Wed, 26 Jul 2006 18:13:33 +0000 (18:13 +0000)
commit0e28e3a555484e9d07093a184fc31d378f88f319
tree1b5a1265a5886218314f3b98d9d6ed33ff688759
parent927c8e4f367ae0ca3c72ec108891b6ce160937cf
* keyboard.c (read_char): New arg END_TIME specifying timeout.
All callers changed.  Turn off echoing if END_TIME is non-NULL.
(kbd_buffer_get_event): New arg END_TIME.
src/keyboard.c